A Calculus for Dynamic Loading
نویسندگان
چکیده
We present the load-calculus, used to model dynamic loading, and prove it sound. The calculus extends the polymorphic λ-calculus with a load primitive that dynamically loads terms that are closed, with respect to values. The calculus is meant to approximate the process of dynamic loading in TAL/Load [4], an version of Typed Assembly Language [7] extending with dynamic linking. To model the key aspects of TAL, the calculus contains references and facilities for named types. Loadable programs may refer to named types defined by the running program, and may export new types to code loaded later. Our approach follows the framework initially outlined by Glew et. al [3]. This calculus has been implemented in the TALx86 [6] version of Typed Assembly Language, and is used to implement a full-featured dynamic linking library, DLpop [4].
منابع مشابه
A Calculus of Mobile Agents
We introduce a calculus for mobile agents and give its chemical semantics, with a precise de nition for migration, failure, and failure detection. Various examples written in our calculus illustrate how to express remote executions, dynamic loading of remote resources and protocols with mobile agents. We give the encoding of our distributed calculus into the join-calculus.
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملAnalysis of Five Parameter Viscoelastic Model Under Dynamic Loading
The purpose of this paper is to analysis the viscoelastic models under dynamic loading. A five-parameter model is chosen for study exhibits elastic, viscous, and retarded elastic response to shearing stress. The viscoelastic specimen is chosen which closely approximates the actual behavior of a polymer. The module of elasticity and viscosity coefficients are assumed to be space dependent i.e. f...
متن کاملInfluence of Sudden Column Loss on Dynamic Response of Steel Moment Frames under Blast Loading
Modeling buildings response to blast and subsequent progressive collapse interested more and more researchers during the past two decades. Due to the threat from extreme loading, efforts have been made to develop methods of structural analysis and design. In this paper, progressive collapse capacity of steel moment frames was first investigated using alternate load path method, then a nonlinear...
متن کاملDetermination of Residual Stress for Single and Double Autofrettage of Thick-walled FG Cylinders Subjected to Dynamic Loading
In the present article a numerical procedure is developed for dynamic analysis of single and double autofrettage of thick–walled FG cylinders under transient loading. The governing differential equations are discretized and presented in explicit Lagrangian formalism. The explicit transient solution of discrete equations are obtained on the meshed region and results for stress and strain distrib...
متن کامل